Procedural programming - PDFSEARCH.IO - Document Search Engine

Procedural programming
Results: 6438

#	Item
91	MULTILINGUAL REPRESENTATIONS FOR LOW RESOURCE SPEECH RECOGNITION AND KEYWORD SEARCH Jia Cui1∗ , Brian Kingsbury1 , Bhuvana Ramabhadran1 , Abhinav Sethy1 , Kartik Audhkhasi1 , Xiaodong Cui1 , Ellen Kislal1 , Lidia Mangu Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2016-05-23 04:48:25 Software engineering Computing Computer programming Functional languages Computational linguistics Procedural programming languages Automatic identification and data capture Computer accessibility Speech recognition Deep learning ML Machine learning
92	Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-07-27 04:57:25 Software engineering Computer programming Computing Functional languages Functional programming Lambda calculus Evaluation strategy Procedural programming languages Eval Scheme Lazy evaluation Standard ML
93	Higher Order Modules Revisited David MacQueen University of Chicago Wednesday, April 18, 12 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Computer programming Procedural programming languages Functional languages Programming language theory Standard ML ML Functor Ur
94	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
95	WinPOS Programmer's Guide (eng) Add to Reading List Source URL: www.nppmera.ru Language: English - Date: 2012-05-28 03:04:18 Software Computer programming Scripting languages Object-oriented programming languages Integrated development environments Internet Explorer Procedural programming languages VBScript JavaScript Delphi Object Pascal Plug-in
96	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
97	checkmk Name checkmk — Awk script for generating C unit tests for use with the Check unit testing framework. Synopsis checkmk [clean_mode=1] [input-file] Add to Reading List Source URL: micah.cowan.name Language: English - Date: 2006-07-13 18:16:06 Software engineering Computer programming Computing Software testing C Extreme programming Procedural programming languages Include directive Unit testing Directive Printf format string D
98	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
99	PostgreSQL Extensibility Jeff Davis, Truviso, Inc. Introduction Add to Reading List Source URL: www.postgresqlconference.org Language: English - Date: 2009-10-21 21:39:49 PostgreSQL Cross-platform software SQL Software architecture PostGIS Extensibility GiST PL/pgSQL Database Go Procedural programming Spatial database
100	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization

UPDATE